Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts  in Russian
Articles classificators
> F >F.3 >F.3.1

F.3.1 Specifying and Verifying and Reasoning about Programs

    Keywords
    Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts
    ISSN 1560-7534
    © 2024 FRC ICT